Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Bilim ve din arasındaki etkileşimler hem tarihsel olarak hem de günümüzde çeşitli ve karmaşıktır. Modeller, verileri anlamlandırmak için faydalı olabilir. Bu makale, bilim-din etkileşimlerini tanımlamak için önerilen dört ana model türünü karşılaştırarak, onların güçlü ve zayıf yönlerini vurgulamaktadır. Bilimsel ve dini bilgiyi ilişkilendirme görevinde 'bütünleyici' modelin en verimli olduğu sonucuna varılmıştır.

In these pages, we expose the main traits of St. Albert the Great’s doctrine of providence and fate, considered by Palazzo the keystone of his philosophical system. To describe it we examine his systematic works, primarily his Summa of Theology. His discussion follows clearly the guidelines of the Summa of Alexander of Hales, in order to delve into the set of problems faced over the centuries by theological tradition. Albert also restates the reflections of different authors like Boethius (...) or Saint John of Damascus but, in his Summa he incorporates to his reflections also the noteworthy book of Nemesius of Emesa, De natura hominis, which includes some pages on providence. Albert gives his personal solution to the complex questions of providence, destiny and contingency of the world. His conception of providence is developed in the frame of the creative power of the almighty God. God’s knowledge is necessary and inerrant and his providential purposes are infallible, but that does not mean that every event is necessary. He does not communicate His own proprieties to the creatures. In order to understand this problem, Albert recalls the notion of hypothetical necessity coined by Boethius in an Aristotelian framework and the difference between 'necessitas consequentis' and 'necessitas consequentiae' proposed by Alexander of Hales. He also develops his account of providence, closely linked to the topic of fate. However, it would be exaggerated to deem his position deterministic. (shrink)

No centro da filosofia moral de Kant está sem dúvida sua doutrina do imperativo categórico. Por esse motivo não é de se surpreender que a Fundamentação da Metafísica dos Costumes (1785), na qual Kant explica, em detalhes, essa doutrina pela primeira vez, tenha sido o foco da atenção por décadas. Mas há alguns anos é observável uma significativa mudança na literatura que é univocamente bem vinda: ao lado da pesquisa das Doutrinas da Virtude e do Direito publicadas por Kant nos (...) anos noventa do século 18, agora também são intensamente estudadas suas perspectivas filosófico-morais desenvolvidas antes de 1781. Nesse sentido assume uma posição de destaque o manuscrito estudantil de uma lição de ética ministrada no meio dos anos 70, que é publicada aqui, em língua portuguesa, pela primeira vez em uma tradução comentada. Ainda hoje, esta lição serve como uma introdução à ética de Kant, muito embora pareça divergir, em alguns aspectos, da doutrina crítica do imperativo categórico. As Lições de Ética são um „trabalho em andamento“. Por um lado, somos capazes de assistir Kant "pensando" e compreender como ele se reporta ao livro de Alexander Baumgarten sobre os Príncípios da Metafísica Prática (Initia philosophiae practicae primae, 1760). E, por outro lado, somos capazes de vivenciar como ele desenvolve suas próprias perspectivas filosófico-morais em contraste a Baumgarten. Para todos que se interessam pela filosofia moral de Kant e pela história da ética na época da Aufklärung, o estudo desse manuscrito é indispensável. -/- Heiner F. Klemme (Martin Luther Universität - Halle-Wittenberg) . (shrink)

There have been attempts to subsume Charles Darwin's theory of evolution under either one of two distinct intellectual traditions: early Victorian natural science and its descendants in political economy (as exemplified by Herschel, Lyell, or Malthus) and the romantic approach to art and science emanating from Germany (as exemplified by Humboldt and Goethe). In this paper, it will be shown how these traditions may have jointly contributed to the design of Darwin's theory. The hypothesis is that their encounter created a (...) particular tension in the conception of his theory which first opened up its characteristic field and mode of explanation. On the one hand, the domain of the explanandum was conceived of under a holistic and aesthetic view of nature that, in its combination with refined techniques of observation, was deeply indebted to Humboldt in particular. On the other hand, Darwin fashioned explanations for natural phenomena, so conceived, in order to identify their proper causes in a Herschelian spirit. The particular interaction between these two traditions in Darwin, it is concluded, paved the way for a transfer of the idea of causal laws to animate nature while salvaging the romantic idea of a complex, teleological and harmonious order of nature. Copyright © 2015 Elsevier Ltd. All rights reserved. (shrink)

This book is inspired by a German theoretical physicist, Sabine Hossenfelder’s publication: “Lost in Mathematics”. Her book seems to question highly mathematical and a lot of abstraction in the development of physics and cosmology studies nowadays. There is clear tendency that in recent decades, the physics science has been predominated by such an advanced mathematics, which at times sounding more like acrobatics approach to a reality. Through books by senior mathematical-physicists like Unzicker and Peter Woit, we know that the answer (...) of TOE is not in superstring theories or other variations of such 26 dimensional bosonic string theory, of which none of those theories survived experimental test, but perhaps in low dimensional physics. As Alexander Unzicker suggests, perhaps it is more advisable to consider rotation in 3D space (known as SO3), or a kind of superfluid vortices version of gravitation theory. We can also reconsider proposition by the late Prof F. Winterberg (formerly professor at Univ. Nevada, Reno), that it is most likely that superfluid phonon roton theory in 3D can replace the entire superstring theories. While we don’t explore yet implications of his model to particle physics, we discuss here some published papers at several journals in the past few years. (shrink)

Résumé Le débat holisme-réductionnisme se structure autour de trois domaines sémantiques : l 'ontologie, la méthodologie et l'épistémologie. Généralement, une méthodologie analytique s'accompagne d'une ontologie atomiste et de la réduction des lois et théorie des niveaux d'organisation supérieurs aux lois et théorie des niveaux inférieurs. Par contre, une ontologie holiste, relationnelle peut s'accorder au concept d'émergence. En conséquence dans l'élaboration des lois et théories d'un phénomène appartenant à un niveau donné la prise en compte du niveau d'organisation supérieurs se révélera (...) déterminante. Les propositions philosophiques anti-mécanicistes de précurseur tels que Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, même en restant au niveau d'une forme de proto-émergentisme représentent le fondement épistémologique à partir duquel s'est développée une méthodologie véritablement émergentiste. Abstract The holism-reductionism debate is structured around three areas of semantics: ontology, methodology and epistemology. As a general rule, an analytical methodology goes with an atomist ontology, and the reduction of laws and theories from the higher levels of organisation to the laws and theories of lower levels. On the other hand, a holistic and relational ontology can be in unison with the concept of emergence. As a consequence, in elaborating laws and theories of a phenornenon of a given level, taking into account that the higher level of organisation will be determinant. The philosophical and anti-mechanistic propositions of precursors such as F. Bradley, S. Alexander, A.N. Whitehead, C.L. Morgan, D.C. Broad, even remaining at the level of a kind of proto-emergentism represent the epistemological basis on which a true emergentist methodology has been developed. (shrink)

Reedition of papers in English spanning from 1986 to 2009 /// Historical background -- An imposed legacy -- Twentieth century contemporaneity -- Appendix: The philosophy of teaching legal philosophy in Hungary /// HISTORICAL BACKGROUND -- PHILOSOPHY OF LAW IN CENTRAL & EASTERN EUROPE: A SKETCH OF HISTORY [1999] 11–21 // PHILOSOPHISING ON LAW IN THE TURMOIL OF COMMUNIST TAKEOVER IN HUNGARY (TWO PORTRAITS, INTERWAR AND POSTWAR: JULIUS MOÓR & ISTVÁN LOSONCZY) [2001–2002] 23–39: Julius Moór 23 / István Losonczy 29 // (...) ON THE SURVIVAL OF ILMAR TAMMELO’S LETTER AND MANUSCRIPT ADDRESSED TO PROFESSOR MOÓR [2009] 41–44 // PROFESSIONAL DISTRESS AND SCARCITY: ALEXANDER HORVÁTH AND THE LEGACY OF NATURAL LAW IN HUNGARY [2005] 45–50 // HUNGARIAN LEGAL PHILOSOPHY IN THE 20TH CENTURY [2011] 51–72: I. The Pre-war Period [1. Bódog (Felix) Somló (1871–1920) 52] / II. The Inter-war Period [2. Gyula (Julius) Moór (1888–1950) 54 / 3. Barna Horváth (1896–1973) 55 / 4. József Szabó (1909–1992) 57 / 5. István Bibó (1911–1979) 58 / 6. Tibor Vas (1911–1983) 59 / 7. István Losonczy (1918–1980) 60] III. The Post-war Period (Communism) 61 [8. Imre Szabó (1912–1991) 62 / 9. Vilmos Peschka (1929–2006) 63 / 10. Kálmán Kulcsár (1928–2010) 65] IV. Contemporary Trends and Perspectives 66 [11. Csaba Varga (b. 1941) 66 / 12. András Sajó (b. 1949) 69 / 13. Béla Pokol (b. 1950) 70] V. Our Understanding of the Law Today 71 --- AN IMPOSED LEGACY -- LOOKING BACK [1999] 75–94: 1. On Ideologies and Marxism in general 75 / 2. Life of an Intellectual in Communism 79 / 3. On Marxism and its Socialist Cultivation in Particular 82 / 4. Legal Philosophising [4.1. Approaches to Law 87 / 4.2. Arriving at a Legal Ontology 91] 5. Conclusion 94 // LEGAL PHILOSOPHY OF THE MARXISM OF SOCIALISM: HUNGARIAN OVERVIEW IN AN INTERNATIONAL PERSPECTIVE [2003] 95–151: I. Development and Balance of Marxist Philosophising on Law in Hungary [1. Preliminaries (until 1948) 96 / 2. Stalinism (from the Soviet Occupation on) {a) Liquidation of the »Residues« 98 / b) Soviet-type Uniformisation [Gleichschaltung] 99 / c) Denial of the Past, with a Dual Effect 99 / d) »Socialist Legality«, Drawn from the Progressive Past of Western Europe 103 / e) Search for the Germs of Scholarly Evolution 103} 3. Institutionalisation Accompanied by Relaxation (from the 1960s) [a) Epigonism Becoming the Scholarly Ideal 104 / b) Stalinism in a Critical Self-perspective 105 / c) Disciples Diversified Launching their own Trends 107 / d) Comparatism 110 / e) (Re)discovery of the Western Legal Philosophy as a Competitor 112 / f) A Leading Mediatory Role within the »Socialist World Order« 114} 4. Disintegration (in the 1980s) {a) Attempt at Laying New Foundations for Marxism with Epigonism Exhausted 115 / b) Competitive Trends Becoming Exclusive 115 / c) Western Legal Philosophy Acknowledged as a Fellow-traveller within the Socialist Orbit Proper 116 / d) Hungarian Legal Theory Transforming into a National Corpus 118 / e) The Practical Promotion of Some Balance 119} 5. End-game for a Substitute State Religion (in the 1990s) 120] II. Marxist Legal Philosophising in an International Perspective [Ad 1: To the Preliminaries 122 / Ad 2: To Stalinism 124 / Ad 3: To Institutionalisation Accompanied by Relaxation {a) Late Separation from Vishinskiy’s Theory 125 / b) From Ideological Self-closure to an Apparently Scholarly Openness 127 / c) From Political Ideology to Genuine Scholarship 130 / d) International Recognition of Socialist Jurisprudence as an Independent Trend 135 / e) Together with Western Trends 137} Ad 4: To Disintegration {a) Loss of Attraction as Mere Epigonism 139 / b) Exclusivity of Competing Trends 139 / c) Fellowship with »Bourgeois« Trends 140 / d) An own Trend, Internationally Recognised 141 / e) A yet Progressive Role 142} Ad 5: To the Present state 143] III. A Temporary Balance 145 // AUTONOMY AND INSTRUMENTALITY OF LAW IN A SUPERSTRUCTURAL PERSPECTIVE [1986] 151–175: 1. The Strange Fate of Concepts 151 / I. A Relational Category 2. Basis and Superstructure: The Genuine Meaning 154 / 3. Exerting Social Influence as a Conceptual Minimum 156 / 4. Relationships within the Prevailing Totality 158 / 5. Attempts at Interpretation in Hungary 159 / 6. The Lukácsian Stand 162 / 7. Lukács’s Recognitions 168 / 8. Some Criticism 169 / II. The Law’s Understanding 171 / 9. Law Interpreted as Superstructure 171 / 10. Conclusions Drawn for the Law’s Understanding 173 // LEGAL THEORY IN TRANSITION (A PREFACE FROM HUNGARY) [2000] 177–186 // DEVELOPMENT OF THEORETICAL LEGAL THOUGHT IN HUNGARY AT THE TURN OF THE MILLENNIUM [2006] 187–215: 1. International Environment 188 / 2. The Situation in Hungary 190 / 3. Outlook I: The Historical-comparative Study of Legal Cultures and of the Lawyerly Way of Thinking 203 / 4. Outlook II: The Paradigmatic Enigma of the Transition to Rule of Law 207 / 5. Incongruity in Practice 213 / 6. Perspectives 214 --- TWENTIETH CENTURY CONTEMPORANEITY -- CHANGE OF PARADIGMS IN LEGAL RECONSTRUCTION: CARL SCHMITT AND THE TEMPTATION TO FINALLY REACH A SYNTHESIS [2002] 219–234: 1. Dangers of Intellectualism 219 / 2. Schmitt in Facts 221 / 3. Schmitt and Kelsen 222 / 4. On Bordering Conditions 226 / 5. With Kelsen in Transubstantiation 230 / 6. Polarisation as the Path of Theoretical Development 232 // KELSENIAN DOCUMENTS IN HUNGARY: CHAPTERS ON CONTACTS, INCLUDING THE GENESIS OF AUTOBIOGRAPHY [2006] 235–243: 1. Preludes 235 / 2. The Search for Moór’s Bequeath 235 / 3. Moór’s Collegiality 238 / 4. Bibó as a Disciple Translating 241 // THE »HART-PHENOMENON« [2002] 245–267: I. The Hart-miracle 246 [1. The Scene of Britain at the Time 247 / 2. The Personal Career 250 / 3. The Opus’ Career 252 / 4. Verbal Sociologism 255 / 5. Growing into the British Pattern 259] II. The Hart-phenomenon 260 [6. Origination of a Strange Orthodoxy 261 / 7. Mastering Periods of the 20th Century 263 / 8. Raising the Issue of Reception in Hungary 365] // LITERATURE? A SUBSTITUTE FOR LEGAL PHILOSOPHY? [2007] 269–287: 1. The Enigma of Law and its Study 269 / 2. “Law and Literature” 271 / 3. Varieties of “Law and Literature” 274 / 4. The German Study of Artistic Representations 280 / 5. Some Literary Reconsiderations 285 / 6. Conclusion 287 --- APPENDIX -- THE PHILOSOPHY OF TEACHING LEGAL PHILOSOPHY IN HUNGARY [2007] 291–320: I. Why and How to Philosophise in Law? 291 / II. The State of Teaching Legal Philosophy 294 / III. The Philosophy of Teaching Legal Philosophy 296 / IV. Programme at the Catholic University of Hungary 300 [1. Graduate Studies 300 {a) Basic Subjects 301 / b) Facultative Seminars 305 / c) Closing Subjects 309 / d) Written Memoranda and the Thesis 312} 2. Postgraduate Studies 313 / 3. Conclusion 317] V. Perspectives 318 /// Index of Subjects 321 / Index of Normative Materials 328 / Index of Names 329 . (shrink)

Der berühmte Ameisenmann E.O. Wilson war schon immer einer meiner Helden - nicht nur ein hervorragender Biologe, sondern eine der winzigen und verschwindenden Minderheit von Intellektuellen, die es zumindest wagt, die Wahrheit über unsere Natur anzudeuten, die andere nicht verstehen oder, soweit sie es verstehen, aus politischen Gründen unermüdlich vermeiden. Leider beendet er seine lange Karriere auf äußerst schäbige Weise als Partei eines ignoranten und arroganten Angriffs auf die Wissenschaft, der zumindest teilweise durch die religiöse Inbrunst seiner Harvard-Kollegenmotiviertist. Es zeigt (...) die abscheulichen Folgen, wenn Universitäten Geld von religiösen Gruppen annehmen, Wissenschaftszeitschriften von großen Namen so bewundert sind, dass sie eine ordnungsgemäße Peer Review vermeiden und wenn Egos außer Kontrolle geraten dürfen. Es führt uns in die Natur der Evolution, die Grundlagen der wissenschaftlichen Methodik, wie Mathematik mit Wissenschaft zusammenhängt, was eine Theorie ausmacht, und sogar, welche Einstellungen zu Religion und Großzügigkeit angemessen sind, wenn wir uns unaufhaltsam dem Zusammenbruch der industriellen Zivilisation nähern. Ich fand Abschnitte in 'Conquest' mit dem üblichen prägnanten Kommentar (obwohl nichts wirklich Neues oder Interessantes, wenn man seine anderen Werke gelesen hat und auf biologie im Allgemeinen ist) in der oftgestylten Prosa, die sein Markenzeichen ist, aber war ziemlich überrascht, dass der Kern des Buches seine Ablehnung inklusiver Fitness (die seit über 50 Jahren ein Standbein der Evolutionsbiologie ist) zugunsten der Gruppenauswahl ist. Man nimmt an, dass von ihm kommen und mit den articles er bezieht sich auf veröffentlicht von sich selbst und Harvard Mathematik Kollege Nowak in großen Peer-Review-Zeitschriften wie Nature, muss es ein wesentlicher Fortschritt sein,, trotz der Tatsache, dass ich wusste, Gruppenauswahl wurde fast überall abgelehnt, da mit jeder großen Rolle in der Evolution. Ich habe zahlreiche Rezensionen im Netz gelesen und viele haben gute Kommentare, aber die, die ich am meisten sehen wollte, war, dass von renommierten Wissenschaftsautor und Evolutionsbiologe Richard Dawkins. Im Gegensatz zu den meisten von Fachleuten, die in Zeitschriften nur für diejenigen mit Zugang zu einer Universität zur Verfügung stehen, ist es leicht im Netz verfügbar, obwohlanscheinend, entschied er sich, es nicht in einer Zeitschrift zu veröffentlichen, da es angemessen abscheulich ist. Leider findet man eine vernichtende Ablehnung des Buches und den acerbic Kommentar über einen wissenschaftlichen Kollegen, den ich je von Dawkins gesehen habe -- über alles in seinem vielen Austausch mit dem verstorbenen und unbeklagten Demagogen und Pseudowissenschaftler Stephan Jay Gould. Obwohl Gould für seine persönlichen Angriffe auf seinen Harvard-Kollegen Wilson berüchtigt war, stellt Dawkins fest, dass ein Großteil von "Conquest" einen unbequem an Goulds häufige Verfehlungen in "bland, unfocussed ecumenicalis" erinnert. Dasselbe gilt mehr oder weniger für Wilsons populäres Schreiben, einschließlich seines jüngsten Buches "The Meaning of Human Existence" – eine weitere schamlose Eigenwerbung seiner diskreditierten Ideen zu Inklusiver Fitness (IF). Dawkins weist darauf hin, dass das berüchtigte 2010-Papier von Nowak, Tarnita und Wilson in Nature von über 140 Biologen, die einen Brief unterzeichnet haben, fast überall abgelehnt wurde und dass es in Wilsons Buch kein Wort darüber gibt. Auch in den folgenden 4 Jahren mit Artikeln, Vorträgen und mehreren Büchern haben sie dies nicht korrigiert. Es gibt keine andere Wahl, als Dawkins trenchant Kommentar zuzustimmen: "Für Wilson nicht zu zugeben, dass er für sich selbst gegen die große Mehrheit seiner professionellen Kollegen spricht - es schmerzt mich, dies von einem lebenslangen Helden zu sagen -- ein Akt mutwilligen Arroganz." Angesichts von Nowaks späterem Verhalten muss man ihn auch einbeziehen. Ich habe das Gefühl, dass einer der fassungslosen Menschen, die man im Fernsehen sieht, interviewt wird, nachdem der nette Mann von nebenan, der seit 30 Jahren alle Kinder babysitten, als Serienmörder entlarvt wird. Dawkins weist auch darauf hin (wie er und andere seit vielen Jahren), dass inklusive Fitness mit dem Neo-Darwinismus (d.h. logischerweise folgt) entsteht und nicht abgelehnt werden kann, ohne die Evolution selbst abzulehnen. Wilson erinnert uns erneut an Gould, der Kreationisten von der einen Seite seines Mundes anprangerte, während er ihnen Trost spendete, indem er endlosen ultraliberalen marxistisch gefärbten Kauderwelsch über Spandrels, unterbrochenes Gleichgewicht und Evolutionspsychologie von der anderen ausspeist. Die Unbestimmtheit und mathematische Opazität (für die meisten von uns) der Mathematik der Gruppen- oder Mehrebenenauswahl ist genau das, was die Sanftmütigen ihnen ermöglichen wollen, dem rationalen Denken in ihren endlosen antiwissenschaftlichen Gerüchten und (in der Wissenschaft) postmodernen Wortsalate zu entkommen. Schlimmer noch, Wilsons "Eroberung" ist ein schlecht durchdachtes und schlampig geschriebenes Durcheinander voller Nonsequiturs, vager Streifzüge, Verwirrungen und Inkohärenz. Eine gute Bewertung, die einige davon im Detail ist, dass von Absolvent Gerry Carter, die Sie im Netz finden können. Wilson hat auch nichts mit unserem gegenwärtigen Verständnis der Evolutionspsychologie (EP) zu tun (siehe z.B. die letzten 300 Seiten von Pinkers 'The Better Angels of our Nature'). Wenn Sie eine seriöse Buchlänge Bericht über die soziale Evolution und einige relevante EP von einem Experten wollen, siehe 'Principles of Social Evolution' von Andrew F.G. Bourke, oder ein nicht ganz so ernster und zugegebenermaßen fehlerhafter und irrender Bericht, aber ein Muss,das Robert Trivers dennoch lesen muss—'The Folly of Fools: The Logic of Deceit and Self-Deception in Human Life' und ältere, aber immer noch aktuelle und durchdringende Werke wie 'The Evolutionof Cooperation':Revised Edition by Robert Axelrod and 'The Biology ofMoral Systems' von Richard Alexander. (shrink)

In this article, we propose the Fair Priority Model for COVID-19 vaccine distribution, and emphasize three fundamental values we believe should be considered when distributing a COVID-19 vaccine among countries: Benefiting people and limiting harm, prioritizing the disadvantaged, and equal moral concern for all individuals. The Priority Model addresses these values by focusing on mitigating three types of harms caused by COVID-19: death and permanent organ damage, indirect health consequences, such as health care system strain and stress, as well as (...) economic destruction. It proposes proceeding in three phases: the first addresses premature death, the second long-term health issues and economic harms, and the third aims to contain viral transmission fully and restore pre-pandemic activity. -/- To those who may deem an ethical framework irrelevant because of the belief that many countries will pursue "vaccine nationalism," we argue such a framework still has broad relevance. Reasonable national partiality would permit countries to focus on vaccine distribution within their borders up until the rate of transmission is below 1, at which point there would not be sufficient vaccine-preventable harm to justify retaining a vaccine. When a government reaches the limit of national partiality, it should release vaccines for other countries. -/- We also argue against two other recent proposals. Distributing a vaccine proportional to a country's population mistakenly assumes that equality requires treating differently situated countries identically. Prioritizing countries according to the number of front-line health care workers, the proportion of the population over 65, and the number of people with comorbidities within each country may exacerbate disadvantage and end up giving the vaccine in large part to wealthy nations. (shrink)

Social norms – rules governing which behaviours are deemed appropriate or inappropriate within a given community – are typically taken to be uniquely human. Recently, this position has been challenged by a number of philosophers, cognitive scientists, and ethologists, who have suggested that social norms may also be found in certain non-human animal communities. Such claims have elicited considerable scepticism from norm cognition researchers, who doubt that any non-human animals possess the psychological capacities necessary for normative cognition. However, there is (...) little agreement among these researchers about what these psychological prerequisites are. This makes empirical study of animal social norms difficult, since it is not clear what we are looking for and thus what should count as behavioural evidence for the presence (or absence) of social norms in animals. To break this impasse, we offer an approach that moves beyond contested psychological criteria for social norms. This approach is inspired by the animal culture research program, which has made a similar shift away from heavily psychological definitions of ‘culture’ and to become organized around a cluster of more empirically tractable concepts of culture. Here, we propose an analogous set of constructs built around the core notion of a normative regularity, which we define as a socially maintained pattern of behavioural conformity within a community. We suggest methods for studying potential normative regularities in wild and captive primates. We also discuss the broader scientific and philosophical implications of this research program with respect to questions of human uniqueness, animal welfare and conservation. (shrink)

The electric activities of cortical pyramidal neurons are supported by structurally stable, morphologically complex axo-dendritic trees. Anatomical differences between axons and dendrites in regard to their length or caliber reflect the underlying functional specializations, for input or output of neural information, respectively. For a proper assessment of the computational capacity of pyramidal neurons, we have analyzed an extensive dataset of three-dimensional digital reconstructions from the NeuroMorphoOrg database, and quantified basic dendritic or axonal morphometric measures in different regions and layers of (...) the mouse, rat or human cerebral cortex. Physical estimates of the total number and type of ions involved in neuronal electric spiking based on the obtained morphometric data, combined with energetics of neurotransmitter release and signaling fueled by glucose consumed by the active brain, support highly efficient cerebral computation performed at the thermodynamically allowed Landauer limit for implementation of irreversible logical operations. Individual proton tunneling events in voltage-sensing S4 protein alpha-helices of Na+, K+ or Ca2+ ion channels are ideally suited to serve as single Landauer elementary logical operations that are then amplified by selective ionic currents traversing the open channel pores. This miniaturization of computational gating allows the execution of over 1.2 zetta logical operations per second in the human cerebral cortex without combusting the brain by the released heat. (shrink)

Henry of Herford frequently addresses medical topics throughout his encyclopedia, the Catena aurea entium. The paper offers an overview of the sections that deal with health, sickness, and diseases. While including key texts of medieval medical literature, Henry’s ‘medical library’ has a specific focus on practical medicine, pharmacology, and the regimen. The paper also includes editions of some questions dedicated to specific diseases.

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

Uma das peculiaridades instigantes desse livro, caro leitor, é a sobreposição dos temas, que desdobram e estratificam leituras preparadas por especialistas de diversas áreas de conhecimento. Penetrando no mesmo tema por diversas perspectivas, quem o lê se aproxima não somente de Max Weber, mas acaba se familiarizando, inclusive, com o modo pelo qual seu pensamento está aderido às diversas ciências que ainda hoje procuram compreender a herança da nossa modernidade. Com espírito interdisciplinar, apresentamos a você, leitor, esses textos oriundos de (...) pesquisadores de diferentes disciplinas. E se pedimos a sua leitura, é porque consideramos que eles representam um bom exemplo da atual produção latino-americana da Weberforschung. (shrink)

The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...) light of the taste standard governing the context of use. We show in a range of experiments that neither prediction is correct. People have no clear preferences either way and which taste standard they choose in evaluating a previous taste claim crucially depends on whether they start out with a favorable attitude towards the object in question and then come to have an unfavorable attitude or vice versa. We suggest an account of the data in terms of what we call hybrid relativism. (shrink)

There are two families of influential and stubborn puzzles that many theories of aboutness (intentionality) face: underdetermination puzzles and puzzles concerning representations that appear to be about things that do not exist. I propose an approach that elegantly avoids both kinds of puzzle. The central idea is to explain aboutness (the relation supposed to stand between thoughts and terms and their objects) in terms of relations of co-aboutness (the relation of being about the same thing that stands between the thoughts (...) and terms themselves). (shrink)

During the Middle Ages, physicians, philosophers, and theologians developed a complex and rich discourse on the concept of sickness. Illness (infirmitas) was perceived as the natural state of existential imperfection for homo viator, fallen due to sin and impaired in his bodily integrity. Leprosy, smallpox, plague and the other collective diseases that constantly plagued medieval societies prompted reflections on etiology and modes of transmission of epidemics. Building on Galenic teachings, medieval medicine – both Arabic and Latin – delved into the (...) study of fevers. Key concepts in medical pathology, such as the humors, humidum radicale, and spiritus, were assimilated and reinterpreted within philosophical and theological frameworks. The ten contribution collected in this volume explore this rich array of concepts and themes by closely examining the theories and works of prominent and lesser-known figures in medicine, theology, and philosophy active across Latin Christendom, the Islamic context, and the Jewish world: from Augustine to ʿAlī ibn al-ʿAbbas al-Maǧūsī, from Avicenna to Constantine the African, from Maimonides to Albert the Great, from Arnau de Vilanova to Gentile da Foligno, from Henry of Herford to Michele Savonarola. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

Multiple realisation prompts the question: how is it that multiple systems all exhibit the same phenomena despite their different underlying properties? In this paper I develop a framework for addressing that question and argue that multiple realisation can be reductively explained. I illustrate this position by applying the framework to a simple example – the multiple realisation of electrical conductivity. I defend my account by addressing potential objections:contra Polger and Shapiro, Batterman, and Sober, I claim that multiple realisation is commonplace, (...) that it can be reductively explained, but that it requires asui generisreductive explanatory strategy. (shrink)

Thomas Schmidt argues that a widely held combination of views about reasons and ought—the Balancing View of Ought and the claim that reasons against Q are reasons for not-Q—is extensionally adequate only if it is complemented by two principles of reasons transmission. In this paper I present three problems for Schmidt’s package of views and two problems for his transmission principles considered in isolation. I then defend a rival package of views—a version of the Balancing View and the claim that (...) reasons against Q are reasons that bear on Q with negative weight—that avoids these problems and secures extensional adequacy without Schmidt’s principles. I conclude that friends of the Balancing View should prefer my package of views. (shrink)

Unterrichtsreihe inklusive didaktischen Erläuterungen zur Problemfrage: Inwiefern befördert der Einsatz von Algorithmen bei Entscheidungsprozessen Diskriminierung?

Miller has recently argued that the standard liberal and moderate positions on abortion are incapable of grounding the claim that ‘all non-disabled adult humans are equal’. The reason, he claims, is such accounts base the intrinsic moral worth of a human being on some property (or set of properties) which comes in degrees. In contrast, he argues that moral equality must reside in some binary property, such as the property of being human. In this paper, I offer three criticisms of (...) Miller’s position. (shrink)

Many of my first students at Anzaldúa’s alma mater read Borderlands/La Frontera and concluded that Anzaldúa was not a philosopher. Hostile comments suggested that Anzaldúa’s intimately personal and poetic ways of writing were not philosophical. In response, I created “American Philosophy and Self-Culture” using backwards course design and taught variations of it in 2013, 2016, and 2018. Students spend nearly a month exploring Anzaldúa’s works, but only after reading three centuries of U.S.-American philosophers who wrote in deeply personal and literary (...) ways about self-transformation, community-building, and world-changing. The sections of this chapter: 1) describe why my first students rejected Anzaldúa as a philosopher in terms of the discipline’s parochialism; 2) present Anzaldúa’s broader understanding of herself as a philosopher; 3) summarize my reconstructed Anzaldúa-inspired American Philosophy course and outline some assignments; 4) discuss how my students respond to Borderlands/La Frontera when we read it through the lens of self-culture; and 5) explain my attempt to shape the subdiscipline of American Philosophy by teaching Anzaldúa to specialists at the 2017 Summer Institute in American Philosophy. (shrink)

The late tenth century siddha and scholar Ratnākaraśānti, also known as the Mahāsiddha Śāntipa, was renowned as the author of both philosophical śāstras and commentaries on tantra. Typically, these are considered separate spheres of activity. However, Ratnākaraśānti’s approach, building on the tradition of scholarship associated with the Mahāvairocanābhisaṃbodhitantra and the Guhyasamājatantra, as well as on Yogācāra analysis and Buddhist pramāṇa theory, is highly syncretic. This paper is a study of Ratnākaraśānti’s commentaries that highlights his synthesis of the exoteric and esoteric (...) streams of Buddhist discourse, with particular emphasis on the nondual nature of reflexive awareness (svasaṃvitti, rang rig), or 'luminosity' (prakāśa, gsal ba), which serves as the conceptual bridge between sūtra and tantra. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

The Molyneux question asks: would a blind person, who knows spheres and cubes only from touch, be able to recognize these shapes visually immediately upon becoming sighted, without touching them? Molyneux himself answered no. Locke accepted Molyneux’s negative answer. But Locke’s answer appears inconsistent with the doctrine of common sensibles, according to which some ideas are given in more than one sense modality. Motivated by alleviating this tension, philosophers have put forth several interpretations of Locke’s views on shape perception. Here (...) I motivate a novel interpretation of Locke that can better resolve the tension. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

The modern Everett interpretation of quantum mechanics describes an emergent multiverse. The goal of this paper is to provide a perspicuous characterisation of how the multiverse emerges making use of a recent account of (weak) ontological emergence. This will be cashed out with a case study that identifies decoherence as the mechanism for emergence. The greater metaphysical clarity enables the rebuttal of critiques due to Baker (2007) and Dawid and Th\'ebault (2015) that cast the emergent multiverse ontology as incoherent; responses (...) are also offered to challenges to the Everettian approach from Maudlin (2010) and Monton (2013). (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

In this philosophical response to Terrance MacMullan’s From American Empire to América Cósmica through Philosophy: Prospero’s Reflection (2023), I engage with his ambitious and timely project of inter-American philosophy and critique of U.S. imperialism. While analyzing and praising MacMullan's engagement with philosophers like Pedro Albizu Campos and Gloria Anzaldúa, I also reflect on our shared positionality as white scholars raised in Spanish-speaking regions of the USA. Finally, I draw upon Anzaldúa's "Geographies of Selves" concept to suggest that more "autohistoria" or (...) self-disclosure would enhance the existential depth and power of MacMullan's project of haciendo una América Cósmica through philosophy. (shrink)

Hermeneutical injustice is being unjustly prevented from making sense of one’s experiences, identity, or circumstances and/or communicating about them. The literature focusses almost exclusively on whether people have access to adequate conceptual resources. In this paper, we discuss a different kind of hermeneutical struggle caused by stigma. We argue that in some cases of hermeneutic injustice people have access to hermeneutical resources apt to understand their identity but reject employing these due to the stigma attached to the identity. We begin (...) with a reinterpretation of one of the cases discussed in the literature, Edmund White’s novel A Boy’s Own Story. We argue that in this case hermeneutic resources are available but are rejected due to the stigma attached to homosexuality. We then present two analogous kinds of cases: alcohol addiction and being the victim of intimate partner violence. Here, too, hermeneutic injustice occurs because of stigma attached to an identity rather than unavailability of resources. We close by suggesting that these cases may, additionally, involve the wrong of Tightlacing: by meddling with their self-conception, stigma can manipulate individuals into a view of themselves that licenses inappropriate demands on them and makes them complicit in an erasure of their identities. (shrink)

Scientific realists don’t standardly discriminate between, say, biology and fundamental physics when deciding whether the evidence and explanatory power warrant the inclusion of new entities in our ontology. As such, scientific realists are committed to a lush rainforest of special science kinds (Ross, 2000). Viruses certainly inhabit this rainforest – their explanatory power is overwhelming – but viruses’ properties can be explained from the bottom up: reductive explanations involving amino acids are generally available. However, reduction has often been taken to (...) lead to a metaphysical downgrading, so how can viruses keep their place in the rainforest? In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn’t count as real: viruses are emergent, as are trout and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

In this paper, we introduce a distinctive kind of psychological abuse we call Tightlacing. We begin by presenting four examples and argue that there is a distinctive form of abuse in these examples that cannot be captured by our existing moral categories. We then outline our diagnosis of this distinctive form of abuse. Tightlacing consists in inducing a mistaken self-conception in others that licenses overburdening demands on them such that victims apply those demands to themselves. We discuss typical Tightlacing strategies (...) and argue that Tightlacing typically is manipulative. Typical tightlacers will be motivated by a strong desire to suppress a kind of behaviour on the victim’s part. We will then differentiate Tightlacing from a related and widely discussed form of psychological abuse, Gaslighting. While Gaslighting focuses on the victim’s epistemic capacities and typically serves to insulate the abuser from potential dissent, Tightlacing focuses on the kind of person the victim is and typically serves to insulate the abuser from confronting ways of behaviour they cannot cope with. While Gaslighting targets the victim’s epistemic self-trust, Tightlacing targets their basic sense of who they are and their sense of entitlement to conduct themselves as who they really are. We finish by diagnosing the wrong-making features of Tightlacing, arguing that Tightlacing, among many secondary wrongs, makes the victim complicit in a denial of their rights as well as an erasure of who they are. (shrink)

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)